Towards Agile Hardware Designs with Chisel: a Network Use-case
نویسندگان
چکیده
منابع مشابه
Proving Hardware Designs
Vhdl is a standardized hardware description language with almost universal market penetration. Originally developed in the 1980s with the support of the US DoD, several formalizations of its hardware simulation semantics have appeared in the last few years, including operational semantics in higher order logic and translations to Petri Nets and finite state machines. But in recent work [1] we h...
متن کاملScheduling a constellation of agile earth observation satellites with preemption
In this paper, we consider a scheduling problem for a set of agile Earth observation satellites for scanning different parts of the Earth’s surface. We assume that preemption is allowed to prevent repetitive images and develop four different preemption policies. Scheduling is done for the imaging time window and transmission time domain to the Earth stations as well. The value of each picture ...
متن کاملTMR: A Solution for Hardware Security Designs
Cyber-security has become an increasingly important issue in today’s integrated circuit designs. The use of commercial off-the-shelf products and design outsourcing have introduced uncertainty in the supply chain and posed security threats such as an inside attacks. This paper describes the implementation of an FPGA design based on soft-core processor, and how triple modular redundancy (TMR) is...
متن کاملA decade of agile methodologies: Towards explaining agile software development
Ever since the agile manifesto was created in 2001, the research community has devoted a great deal of attention to agile software development. This article examines publications and citations to illustrate how the research on agile has progressed in the 10 years following the articulation of the manifesto. nformation systems Xtreme programming, XP crum ean software development rystal method Sp...
متن کاملEquivalence checking hardware multiplier designs
We generate SAT benchmarks encoding the problem of equivalence checking two different industrial hardware designs for integer multiplication.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Design & Test
سال: 2021
ISSN: 2168-2356,2168-2364
DOI: 10.1109/mdat.2021.3063339